acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,nestedUfs,#,103

In pattern: SUPERPATTERN

Frequency: 5

Non-data size: 3


Instances


1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,nestedUfs,#,103


1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/basicimpl/AbstractFormulaManager.java,AbstractFormulaManager,applyUFEImpl,#BooleanFormula#,224


1470236071
uni@philippwendler.de
sosy-lab/java-smt,dea0de77e07cda78433e4b0478c8ff05eb3c4fd9,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,quantifierTest,#,177


1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,nestedUfs2,#,138


1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,simpleTest,#,73